Simple Imperative Polymorphism
https://pdfs.semanticscholar.org/fd1d/87c648622ebbc7f086b26c23a947889bb90d.pdf
要約
多相型を値のみに制限したら健全になった
#論文